Section: Partnerships and Cooperations

International Initiatives

Inria International Partners

The team's collaboration with the Mathematics and Computer Science (MCS) division of Argonne National Laboratory is recognised by Inria as an “Inria International Partnership”. This partnership is named "SARDINE" for "Sophia-Antipolis ARgonne DIfferentiation INitiativE".

Participation In International Programs

The team participates in the Joint Laboratory for Petascale Computing (Inria, University of Illinois at Urbana Champaign, Argonne National Laboratory). Laurent Hascoët gave talks at this year's meetings in Rennes and Argonne.